搜索包含 Symposium on Computer Software Engineering (1976 : New York) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Software Engineering (1976 : New York) 的图书(共10474本)

	Computer Vision-ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I 0 索取号：作者：Forsyth、 David.、Torr、 Philip.、Zisserman、 Andrew.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Software and Data Technologies [electronic resource] : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers 0 索取号：作者：Filipe、 Joaquim.、Shishkov、 Boris.、Helfert、 Markus.、Maciaszek、 Leszek A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers 0 索取号：作者：L盲mmel、 Ralf.、Visser、 Joost.、Saraiva、 Jo茫o.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Challenges for Next Generation Network Operations and Service Management [electronic resource] : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings 0 索取号：作者：Ma、 Yan.、Choi、 Deokjai.、Ata、 Shingo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Sociology and Complexity Science [electronic resource] : A New Field of Inquiry 0 索取号：作者：Castellani、 Brian.、Hafferty、 Frederic William.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Surface Engineering of Polymer Membranes [electronic resource] 0 索取号：作者：Xu、 Zhikang.、Wan、 Lingshu.、Huang、 Xiaojun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings 0 索取号：作者：Cha、 Sungdeok (Steve).、Choi、 Jin-Young.、Kim、 Moonzoo.、Lee、 Insup.、Viswanathan、 Mahesh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Information Technologies in Environmental Engineering [electronic resource] : Proceedings of the 4th International ICSC Symposium Thessaloniki, Greece, May 28-29, 2009 0 索取号：作者：Athanasiadis、 Ioannis N.、Rizzoli、 Andrea E.、Mitkas、 Pericles A.、G贸mez、 Jorge Marx.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Computer Security - ESORICS 2008 [electronic resource] : 13th European Symposium on Research in Computer Security, M谩laga, Spain, October 6-8, 2008. Proceedings 0 索取号：作者：Jajodia、 Sushil.、Lopez、 Javier.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	High Performance Computing in Science and Engineering '08 [electronic resource] : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008 0 索取号：作者：Nagel、 Wolfgang E.、Kr枚ner、 Dietmar B.、Resch、 Michael M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Engineering Haptic Devices [electronic resource] : A Beginner's Guide for Engineers 0 索取号：作者：Kern、 Thorsten A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Physics and Engineering of New Materials [electronic resource] 0 索取号：作者：Cat、 Do Tran.、Pucci、 Annemarie.、Wandelt、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings 0 索取号：作者：Liu、 Shaoying.、Maibaum、 Tom.、Araki、 Keijiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings 0 索取号：作者：Zaverucha、 Gerson.、Costa、 Augusto Loureiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Graphics Recognition. Recent Advances and New Opportunities [electronic resource] : 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers 0 索取号：作者：Liu、 Wenyin.、Llad贸s、 Josep.、Ogier、 Jean-Marc.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

	Computer Vision-ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I 0 索取号：作者：Forsyth、 David.、Torr、 Philip.、Zisserman、 Andrew.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Software and Data Technologies [electronic resource] : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers 0 索取号：作者：Filipe、 Joaquim.、Shishkov、 Boris.、Helfert、 Markus.、Maciaszek、 Leszek A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers 0 索取号：作者：L盲mmel、 Ralf.、Visser、 Joost.、Saraiva、 Jo茫o.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Challenges for Next Generation Network Operations and Service Management [electronic resource] : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings 0 索取号：作者：Ma、 Yan.、Choi、 Deokjai.、Ata、 Shingo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Sociology and Complexity Science [electronic resource] : A New Field of Inquiry 0 索取号：作者：Castellani、 Brian.、Hafferty、 Frederic William.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Surface Engineering of Polymer Membranes [electronic resource] 0 索取号：作者：Xu、 Zhikang.、Wan、 Lingshu.、Huang、 Xiaojun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings 0 索取号：作者：Cha、 Sungdeok (Steve).、Choi、 Jin-Young.、Kim、 Moonzoo.、Lee、 Insup.、Viswanathan、 Mahesh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Information Technologies in Environmental Engineering [electronic resource] : Proceedings of the 4th International ICSC Symposium Thessaloniki, Greece, May 28-29, 2009 0 索取号：作者：Athanasiadis、 Ioannis N.、Rizzoli、 Andrea E.、Mitkas、 Pericles A.、G贸mez、 Jorge Marx.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Computer Security - ESORICS 2008 [electronic resource] : 13th European Symposium on Research in Computer Security, M谩laga, Spain, October 6-8, 2008. Proceedings 0 索取号：作者：Jajodia、 Sushil.、Lopez、 Javier.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	High Performance Computing in Science and Engineering '08 [electronic resource] : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008 0 索取号：作者：Nagel、 Wolfgang E.、Kr枚ner、 Dietmar B.、Resch、 Michael M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Engineering Haptic Devices [electronic resource] : A Beginner's Guide for Engineers 0 索取号：作者：Kern、 Thorsten A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Physics and Engineering of New Materials [electronic resource] 0 索取号：作者：Cat、 Do Tran.、Pucci、 Annemarie.、Wandelt、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings 0 索取号：作者：Liu、 Shaoying.、Maibaum、 Tom.、Araki、 Keijiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings 0 索取号：作者：Zaverucha、 Gerson.、Costa、 Augusto Loureiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Graphics Recognition. Recent Advances and New Opportunities [electronic resource] : 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers 0 索取号：作者：Liu、 Wenyin.、Llad贸s、 Josep.、Ogier、 Jean-Marc.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.